epistemic logic中文是什么意思

发音:

用"epistemic logic"造句"epistemic logic"怎么读"epistemic logic" in a sentence"epistemic logic"的同义词

中文翻译手机版

认识逻辑

"epistemic"中文翻译 adj. 认识的；与认识有关的。 epistemical ...
"logic"中文翻译 n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
"epistemic" 中文翻译 : adj. 认识的；与认识有关的。 epistemically adv.
"epistemic curiosity" 中文翻译 : 认识性好奇
"epistemic entailment" 中文翻译 : 认知衍推
"epistemic modality" 中文翻译 : 知识情态
"epistemic motivation" 中文翻译 : 求知的动机
"epistemic passive" 中文翻译 : 准被动
"-logic" 中文翻译 : -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
"and logic" 中文翻译 : “与”逻辑
"logic" 中文翻译 : n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
"logic-and" 中文翻译 : 逻辑“与”
"or logic" 中文翻译 : 或逻辑
"active logic" 中文翻译 : 有源逻辑
"actuating logic" 中文翻译 : 执行逻辑
"adaptive logic" 中文翻译 : 适应性逻辑（电脑）; 自适应逻辑
"affective logic" 中文翻译 : 情感逻辑
"algebra and logic" 中文翻译 : 代数与逻辑
"algebra of logic" 中文翻译 : 逻辑代数
"algebraic logic" 中文翻译 : 代数逻辑
"algorithm logic" 中文翻译 : 运算逻辑
"algorithmic logic" 中文翻译 : 算法逻辑
"alternating logic" 中文翻译 : 交替逻辑
"analogthreshold logic" 中文翻译 : 模拟阈逻辑电路
"analysis, logic" 中文翻译 : 逻辑分析仪

例句与用法

On some problems in the research on epistemic logic
试论认知逻辑研究中的若干问题
Epistemic logic : on the decidability of epistemic logic
关于认识逻辑的可判定性
Epistemic logic : a logical framework for knowledge and belief
全知性和真知性
Reasoning inconsistency among viewpoints using temporal epistemic logic
多视点间不一致性的认知推理
Self - belief epistemic logics
自信性认知逻辑
Bounded model checking for temporal epistemic logic in synchronous multi - agent systems
有界模型检测同步多智体系统的时态认知逻辑
The semantics of this logic are given in terms of a general model of multi - agent system , closely related to the interpreted systems of epistemic logic
该逻辑的语义是以一般的多agent系统模型给出的，并且与认知逻辑的解释系统密切相关。
The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called el , which can avoid the logical omniscience , and gives its semantic rules and its axioms
摘要分析认知逻辑中的逻辑全知问题及其解决方法，提出一种可以避免逻辑全知的认知逻辑el ，并给出其语义和公理系统。
This paper introduces a new methodology that uses - it knowledge structures , a specific form of kripke semantics for epistemic logic , to analyze communication protocols over hostile networks . the paper particularly focuses on automatic verification of authentication protocols . our approach is based on the actual definitions of a protocol , not on some difficult - to - establish justifications
认知逻辑的kripke语义已经被成功应用到通信协议的推理分析中例如,交替位协议alternating bit protocol的分析,及最近的对tcp的分析.因为信息交换本质上可以看成是个认知过程,用认知逻辑可以很方便地表达